Software transactional memory - PDFSEARCH.IO - Document Search Engine

Software transactional memory
Results: 226

#	Item
201	1 Verifying Correctness of Transactional Memories Ariel Cohen (CS/CIMS/NYU, [removed]) John W. O’Leary (Intel, [removed]) Amir Pnueli (CS/CIMS/NYU, [removed]) Mark R. Tuttle (Intel, tuttle@ Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-10-07 00:00:00 Programming language implementation Software transactional memory Transactional memory Software engineering Structure Mathematics Concurrency control Transaction processing Computing
202	Model checking transactional memory with Spin John O’Leary Intel [removed] Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2011-09-30 00:00:00 Data management Data Software transactional memory Serializability Linearizability Transactional memory Schedule Non-blocking algorithm Transmission Control Protocol Concurrency control Transaction processing Computing
203	Brief Announcement: Model Checking Transactional Memory with Spin John O’Leary Bratin Saha Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2008-11-16 00:00:00 Computing Data Software transactional memory Linearizability Transactional memory Model checking SPIN model checker Serializability Parallel computing Concurrency control Transaction processing Data management
204	Eurographics Conference on Visualization (EuroVis[removed]B. Preim, P. Rheingans, and H. Theisel (Guest Editors) Volume[removed]), Number 3 Add to Reading List Source URL: www.cspaul.com Language: English - Date: 2013-09-10 19:27:42 Concurrency control Parallel computing Nvidia Transaction processing CUDA Software transactional memory Thread Lock CPU cache Computing Concurrent computing Computer hardware
205	Report on the 1st Euro-TM School on Transactional Memory 6th School on Hot Topics in Distributed Computing (HTDC) Maria Couceiro and Paolo Romano 17 March - 22 March 2013 Add to Reading List Source URL: www.gsd.inesc-id.pt Language: English - Date: 2013-05-16 14:35:52 Software Data management Computer memory Transactional memory Software transactional memory Institut Eurécom Parallel computing Oracle Database Oracle Corporation Computing Concurrency control Transaction processing
206	Exploiting Hardware Transactional Memory in Main-Memory Databases Viktor Leis, Alfons Kemper, Thomas Neumann Fakult¨at f¨ur Informatik Technische Universit¨at M¨unchen Boltzmannstraße 3, D[removed]Garching Add to Reading List Source URL: www-db.in.tum.de Language: English - Date: 2013-11-29 04:15:10 Data Information Databases Serializability Software transactional memory Timestamp-based concurrency control Transactional memory Two-phase locking Lock Transaction processing Concurrency control Data management
207	Scalable Nonblocking Concurrent Objects for Mission Critical Code Damian Dechev Bjarne Stroustrup Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:49 Software engineering Compare-and-swap Software transactional memory Linearizability Non-blocking algorithm Pointer ABA problem Load-link/store-conditional Garbage collection Concurrency control Computing Data management
208	Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software Damian Dechev Bjarne Stroustrup Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:52 Computer programming Software transactional memory Compare-and-swap Non-blocking algorithm Linearizability Lock Pointer Hazard pointer Parallel computing Concurrency control Computing Software engineering
209	Diogo Miguel Gaspar de Sousa Personal Data Name: Birthdate: Nacionality: Add to Reading List Source URL: orium.pw Language: English - Date: 2013-11-19 13:19:41 Procedural programming languages Concurrency control Transaction processing Functional languages Haskell Software transactional memory Transactional memory C Operating system Computing Software Cross-platform software

UPDATE